LIBS = -ll -ly
DEBUG_FLAGS = -g -DYACC_DEBUG

compiler: clean
	yacc -dv syntaxAnalyzer.y
	lex -ls lexicalAnalyzer.l 
	gcc $(DEBUG_FLAGS) *.c $(LIBS) -o tptp-parser 
clean:
	rm -f tptp-parser 
	rm -f lex.yy.c 
	rm -f y.output y.tab.c y.tab.h
	rm -f .gdb_history .DS_Store core
